$\mid$$x$$\mid$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $x$ $<$z 0 then {-}$x$ else $x$ fi